|
数学および数学の哲学において、数学的対象（すうがくてきたいしょう、）は数学の中から生じてくる抽象的対象である。 一般的に遭遇する数学的対象として、数、順列、分割、行列、集合、関数、および関係などが挙げられる。数学の分科としての幾何学は、六角形、点、線、三角形、円、球、多面体、位相空間、および多様体のような対象を持つ。別の分科の代数学は、群、環、体、格子、および束といった対象を持つ。圏は、数学的対象を一斉に生じさせるものであるとともに、それ自体がひとつの数学的対象である。 数学的対象の存在論的な立場は、数学の哲学で調査および議論される重要な主題である。この議論については、論文を参照のこと。 == カントールの枠組み == 20世紀の変わり目頃に現れたカントールの仕事によってもたらされた観点は、全ての数学的対象は集合によって定義できるというものであった。 という集合は比較的明確な例である。表面的には、2 を法とする整数の群 Z2 もまた二つの要素を持った集合である。しかしそれは単に集合 であるのではない。これは 2 を法とする和および反数の演算によって Z2 へ割り当てられた付加構造について言及していないからである。例えば、0 または 1 のどちらが加法単位元であるのかをわれわれはどのようにして知ればよいのか？ この群を集合として体系化するためには、まず四つ組 (,+,−,0) として規定し、次に四つ組を集合として表すいくつかの慣習のうちの一つを使ってやれば集合として書けるから、あとは必然的に +, −, 0 を集合として規定すればよい。 このアプローチは、数学の存在論は実践や教育法の影響を受けるべきであるかどうかという根源的に哲学的な問いが生じる。数学者はそのような符号化についての研究は行わない、符号化は規範的でも実践的でもない。それらはどんな代数学の教科書にも現れないし、代数学の教程の学生も指導者もそのような符号化には全く精通していない。それゆえ、もし存在論が実践を反映するべきものであるならば、数学的対象はこの方法では集合へ還元できない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「数学的対象」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Mathematical object 」があります。 スポンサード リンク
|